A Meta Modeling Technique
نویسندگان
چکیده
We propose a technique for bridging the gap between the user's and the implementor's points of view in designing software. This technique relies heavily on OO technology and on rule based programming. It borrows part of its inspiration from the AI subfield of Knowledge Acquisition. This technique is implemented as a system now called MÉTAGEN [Sahraoui94], written in Smalltalk-80. Several applications of MÉTAGEN have been used to modelize information systems in public administration, to validate conceptual models by simulation for insurance companies, and to specify a risk management system. We are now customizing MÉTAGEN in two directions : as a tool for implementing the INTERSEM project [Prud'homme92], which aims at building semantic interfaces for OO DBMS, and as a user support tool for the proper use of OO Application Frameworks [Johnson92]. The paper gives a summary of the technique, illustrated by a simple example, and offers a brief discussion of our approach. An extended version has been accepted for presentation at TOOLSEurope'95 [Revault&al.95].
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملMeta-Modeling for Situational Analysis and Design Methods
This chapter introduces an assembly-based method engineering approach for constructing situational analysis and design methods. The approach is supported by a meta-modeling technique, based on UML activity and class diagrams. Both the method engineering approach and meta-modeling technique will be explained and illustrated by case studies. The first case study describes the use of the meta-mode...
متن کاملPartial Evaluation in Meta Modeling
Meta modeling is a well-established technique to describe the structure modeling languages. Method engineering environments utilize the technique to provide a flexible environment for defining and adapting modeling environments. We show that basing meta modeling strictly on firstorder logic provides not only clean semantics but also the ability to define high-level constructs such as transitivi...
متن کاملModeling Structural Relationships of Meta-Cognitive Situations with Tendency to Virtual Networks through Mediating of Emotional Processing in Gifted Students
Background: Cyberspace covers many aspects of human life and tendency to cyberspace can be influenced by cognitive and emotional dimensions. Thus, the aim of this study was modeling structural relationships of meta-cognitive situations with tendency for virtual networks through mediating emotional processing in gifted students. Methods: The research method was descriptive-correlation and in pa...
متن کاملNeural Network Meta-Modeling of Steam Assisted Gravity Drainage Oil Recovery Processes
Production of highly viscous tar sand bitumen using Steam Assisted Gravity Drainage (SAGD) with a pair of horizontal wells has advantages over conventional steam flooding. This paper explores the use of Artificial Neural Networks (ANNs) as an alternative to the traditional SAGD simulation approach. Feed forward, multi-layered neural network meta-models are trained through the Back-...
متن کاملA Flexible Workflow Meta-model Supporting Dynamic Modification
Traditional workflow models lack of the necessary flexibility for the complex and dynamic characters of contemporary business processes and thus they limit the application of workflow technology in wider areas. This paper introduces a flexible workflow meta-model which is capable of tackling the problems related to business events based synchronization, multiple activity instances, service type...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000